| Argument Position | Prohibited Expression |
|---|---|
| Argument 1 | _+_ |
| _-_ | |
| _×_ | |
| _÷_ | |
| _mod_ | |
| -_ | |
| _^_ | |
| _`! |
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | n | whole number | ||
| Returns | natural number | The factorial of n. | ||
| Type | Description | |
|---|---|---|
| Parameter Types | ||
| [0..∞]'s type |
| Type | Description | |
|---|---|---|
| Parameter Types | ||
| [0..∞)'s type |